#!/bin/csh -f
#
if ( ! -e $TMPFILEDIR/.hm14lock ) then
	touch $TMPFILEDIR/.hm14lock
endif

#
cat $HOTMIXDIR/.all/bin/header > $TMPFILE.print

#
echo ` `		>> $TMPFILE.print
echo `date`		>> $TMPFILE.print
echo ` `		>> $TMPFILE.print
echo `uname -a`		>> $TMPFILE.print
echo ` `		>> $TMPFILE.print
echo "USER:$USER"	>> $TMPFILE.print
echo "HOST:`hostname`"	>> $TMPFILE.print
echo "  OS:`uname -r`"	>> $TMPFILE.print
echo "MAIL:$MAIL"	>> $TMPFILE.print
echo ` `   		>> $TMPFILE.print
echo '****************' >> $TMPFILE.print

cat $TMPFILE.print $TMPFILE | lp
\rm $TMPFILE.print

